#!/bin/bash

java -jar Mars.jar a dump .text HexText $1 $2
sed -i "1i\v2.0 raw" $1
